1. Aufzahlbarkeit, Entscheidbarkeit, Berechenbarkeit; Einfuhrung in die Theorie der rekursiven Funktionen
پدیدآورنده : Hermes, Hans.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Recursive functions,، Algorithms,، Godel's theorem,، Computable functions
رده :
QA
248
.
5
.
H4
1971
2. Computability
پدیدآورنده : Martin Davis,Title
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Recursive functions,Unsolvability )Mathematical logic(,Computable functions
رده :
QA
.
D38
9
.
615
1982
3. Computability /
پدیدآورنده : George J. Tourlakis
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computable functions,Recursive functions
رده :
QA9
.
59
.
T68
1984
4. Computability
پدیدآورنده : Tourllakis, George J.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Computable functions,، Recursive functions
رده :
QA
9
.
59
.
T68
1984
5. Computability
پدیدآورنده : Weihrauch, K.)Klaus(
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Computable functions,، Recursive functions
رده :
QA
9
.
59
.
W45
1987
6. Computability : an introduction to recursive function theory
پدیدآورنده : Cutland, Nigel
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computable functions,، Recursion theory,، Recursive functions
رده :
QA
9
.
59
.
C87
1980
7. Computability and logic
پدیدآورنده : Boolos, George.
کتابخانه: Latin Specialized Library of Islamic Sciences and Culture Academy (Qom)
موضوع : ، Computable functions,، Recursive functions,، Logic, Symbolic and mathematical.
رده :
QA
9
.
59
.
B6C6
8. Computability and logic
پدیدآورنده :
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Computable functions,Recursive functions,Logic, Symbolic and mathematical
رده :
QA9
.
59
.
B66
2002
9. Computability and logic
پدیدآورنده :
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Computable functions,Recursive functions,Logic, Symbolic and mathematical
رده :
E-BOOK
10. Computability and logic
پدیدآورنده : George Boolos, Richard Jeffrey
کتابخانه: Library of Faculty of Literature and Humanities Sciences of Kashan University (Esfahan)
موضوع : Computable functions,Recursive functions
رده :
511
.
3
B724C
11. Computability and logic
پدیدآورنده : Boolos, George S., 0491-6991
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computable functions,، Recursive functions,، Logic, Symbolic and mathematical
رده :
QA
9
.
59
.
B66C6
12. Computability and logic
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computable functions. ; Recursive functions. ; Logic, Symbolic and mathematical. ;
13. Computability and logic
پدیدآورنده :
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Computable functions,Recursive functions,Logic, Symbolic and mathematical
رده :
QA9
.
59
.
B66
2002
14. Computability and logic
پدیدآورنده : Boolos, George S., 0491-6991
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computable functions,، Recursive functions,، Logic, Symbolic and mathematical
رده :
QA
9
.
59
.
B66C6
1989
15. Computability and logic
پدیدآورنده : Boolos, George
موضوع : ، Computable functions,، Recursive functions,، Logic, Symbolic and mathematical,، Computable functions
۴ نسخه از این کتاب در ۴ کتابخانه موجود است.
16. Computability and unsolvability
پدیدآورنده : Davis, Martin, 8291-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Recursive functions,، Unsolvability )Mathematical logic(,، Computable functions
رده :
QA
9
.
615
.
D38
1982
17. Computability theory: an introduction
پدیدآورنده : )by( Neil D. Jones,Title
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Recursive functions,Turing machines,Computable functions
رده :
QA
.
J66
248
.
5
18. Computability & unsolvability
پدیدآورنده : Davis, Martin
موضوع : ، Recursive functions,، Unsolvability )Mathematical logic(,، Computable functions
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
19. Computability & unsolvability
پدیدآورنده : DAVIS,MARTIN DAVID
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : RECURSIVE FUNCTIONS , UNSOLVABILITY )MATHEMATICAL LOGIC( , COMPUTABLE FUNCTIONS
رده :
QA
9
.
615
.
D38
20. Computability with pascal
پدیدآورنده : Mallozzi, John s.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Data processing ، Computable functions,Data processing ، Recursive functions,، Pascal )Computer program language(
رده :
QA
9
.
59
.
M34
1984
